логіка динамічна

ЛОГІКА ДИНАМІЧНА - напрям логічного моделювання динамічних аспектів міркувань; у широкому розумінні Л.д. - моделювання потоку інформації, у більш вузькому розумінні Л.д. - логіка програм. Програма вважається динамічним об'єктом, що переводить один стан світу (комп'ютера) в інший. Пропозиційна Л.д. містить вирази, які поділяються на дві категорії - формули і програми. Вихідними для побудови формул є пропозидійні букви, логічні зв'язки і оператор виконання програм. Значення формули Л.д. ототожнюється з множиною всіх станів, у яких ця формула істинна, а значення програми - з множиною пар <а, Ь> таких, що якщо ця програма стартує в стані а, то може завершитися в стані Ь. Л.д. отримана шляхом модифікації "статичних" модальних логічних систем. Базовим поняттям Л.д. є поняття бінарного відношення переходу між станами обчислення (відношення досяжності в семантиці модальної логіки). Найбільш близьким до відношення переходу є інтерпретація відношення досяжності у логіці часу як відношення часового порядку.

В. Навроцький